A SYSTEM TO REASON ABOUT UNCERTAIN AND DYNAMIC ENVIRONMENTS
نویسندگان
چکیده
منابع مشابه
A System to Reason about uncertain and Dynamic Environments
Decision-making on uncertain and dynamic domains is still a challenging research area. This paper explores a solution to handle such complex decision making based on a combined logic system. We provide an explanation of our reasoning system focused on the algorithms and their implementations. The reasoning system is based on a multi-valued temporal propositional logic which we use as the founda...
متن کاملOptimization in Uncertain and Complex Dynamic Environments with Evolutionary Methods
In the real world, many of the optimization issues are dynamic, uncertain, and complex in which the objective function or constraints can be changed over time. Consequently, the optimum of these issues is changed nonlinearly. Therefore, the optimization algorithms not only should search the global optimum value in the space but also should follow the path of optimal change in dynamic environmen...
متن کاملUsing a verification system to reason about post-completion errors
Faults in the way a system works are often attributed to user error. In critical systems such user errors can be catastrophic. Formal verification is one approach advocated to help avoid catastrophic errors. Previous work has concentrated on ensuring that implementations meet specifications or that safety or liveness properties hold of a specification. However, systems verified in this way are ...
متن کاملReasoning about norms within uncertain environments
The main aim of my thesis is the development of agents capable of reasoning about norms given that they are situated in an uncertain environment. The n-BDI agent architecture developed in my thesis is aimed at allowing agents to determine which and how norms will be obeyed and supporting agents when facing with norm violations.
متن کاملA Modular Way to Reason About Iteration
In this paper we present an approach to specify programs performing iterations. The idea is to specify iteration in terms of the finite sequence of the elements enumerated so far, and only those. In particular, we are able to deal with non-deterministic and possibly infinite iteration. We show how to cope with the issue of an iteration no longer being consistent with mutable data. We validate o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal on Artificial Intelligence Tools
سال: 2012
ISSN: 0218-2130,1793-6349
DOI: 10.1142/s0218213012500236